Trp53<tm1.1Manf> targeted mutation 1.1, James J Manfredi MGI:5550216 http://identifiers.org/mgd/MGI:5550216 Null/knockout